group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
This entry contains lecture notes on
A) twisted smooth cohomology structures appearing in string theory/M-theory;
B) the corresponding sigma model local prequantum field theory
formulated in cohesive higher differential geometry.
This section originates in notes prepared along with a lecture series (Schreiber ESI 2012) at the Erwin-Schrödinger institute in 2012.
This section discusses four classes of examples of twisted smooth cohomology in string theory
The background gauge fields on spacetime appearing in string theory are mathematically described by cocycles in twisted and differential refinements of smooth cohomology. A famous example is the twisted K-theory that describes the B-field-twisted Yang-Mills fields over D-branes in type II string theory. But there are many more classes of examples of twisted / smooth / differential cohomology appearing throughout string theory.
This page provides a survey of and introduction to such examples, organized along a Table of twists, that indicates how all of these are instances a single pattern. For further reading and more details see the list of references below.
We start with an introduction to the general notion of twisted smooth cohomology by way of the simple but instructive class of examples of
via reduction of structure groups, which, simple as it is, serves as a blueprint for all of the examples to follow, and which we use to introduce the general machinery. It also serves to highlight the need and use of smooth cohomology in addition to both ordinary topological/homotopical as well as differential cohomology.
(The mathematically inclined reader wishing to see a more formal development of the general theory behind the discussion here should look at the section General theory below for pointers.)
Then we proceed in direct analogy, but now with ordinary gauge fields generalized to the genuine higher gauge fields of string theory, and discuss aspects of the main classes of examples of twisted smooth cohomology appearing there. First we indicate how higher spin structures as such lead to higher smooth homotopy theory:
Then we roughly indicate the relation between higher gauge fields and quantum anomalies:
Finally we put the pieces together and scan through various situations appearing in string theory with their anomaly structure and discuss the smooth moduli -stacks of anomaly-free field configurations / of twisted smooth cocycles:
There are various further examples. As an outlook we indicate aspects of
The following sections discuss classes of examples of twisted smooth structures in string theory. All these examples are governed by the the same general pattern of twisted cohomology refined to smooth cohomology (a gentle explanation/example follows in a moment, for formal details see further below). They are specified by a universal local coefficient bundle
which exists in a context of geometric homotopy types: an higher topos to be denoted Smooth∞Grpd, of smooth ∞-groupoids/smooth ∞-stacks.
Here
is a smooth ∞-group – a higher gauge group;
is the smooth moduli ∞-stack of -principal ∞-bundles;
is a coefficient object equipped with a -action;
is the associated bundle to the -universal principal ∞-bundle over the moduli ∞-stack of -principal ∞-bundles.
Given such, and given a spacetime/target space , we have:
a morphism determines a twisting bundle or twisting background gauge field on ;
a lift in
is a -twisted bundle, or -twisted background gauge field.
The following table lists examples of such local coefficient bundles and tabulates the correspondings twisting fields and twisted fields. This is to be read as an extended table of contents. Explanations are in the sections to follow.
The ordinary notion of vielbein in differential geometry (equivalently: soldering form or orthogonal structure) turns out to be a simple special case of the general notion of twisted smooth cohomology that we are concerned with here. Viewed from this perspective it already contains the seeds of all of the more sophisticated examples to be considered below. Therefore we discuss this case here as a warmup, such as to introduce the general theory by way of example.
Let be a smooth manifold of dimension .
By definition this means that there is an atlas
of coordinate charts. On each overlap of two charts, the partial derivatives of the corresponding coordinate transformations
form the Jacobian matrix of smooth functions
with values in invertible matrices, hence in the general linear group . By construction (by the chain rule), these functions satisfy on triple overlaps of coordinate charts the matrix product equations
(here and in the following sums over an index appearing upstairs and downstairs are explicit)
hence the equation
in the group of smooth -valued functions on the chart overlaps.
This is the cocycle condition for a smooth Cech cocycle in degree 1 with coefficients in (precisely: with coefficients in the sheaf of smooth functions with values in ). We write
It is useful to reformulate this statement in the language of Lie groupoids/differentiable stacks.
itself is a Lie groupoid with trivial morphism structure;
from the atlas we get the corresponding Cech groupoid
whose objects are the points in the atlas, with morphisms identifying lifts of a point in to different charts of the atlas;
any Lie group induces its delooping Lie groupoid
The above situation is neatly encoded in the existence of a diagram of Lie groupoids of the form
where
the left morphism is stalk-wisse (around small enough neighbourhoods of each point) an equivalence of groupoids (we make this more precise in a moment);
the horizontal functor has as components the functions and its functoriality is the cocycle condition .
A transformation of smooth functors is precisely a coboundary between two such cocycles.
We want to think of such a diagram as being directly a morphism of smooth groupoids
in a suitable context , such that this may be regarded as a smooth refinement of the underlying homotopy class of a map into the classifying space
Evidently, for this we need to turn the stalk-wise homotopy equivalence into an actual homotopy equivalence. This is a non-abelian/non-stable generalization of what happens in the construction of a derived category, for instance in the theory of topological branes.
To make this precise, first notice that every Lie groupoid yields on each smooth manifold a groupoid of maps from into
the groupoid of smooth -families of elements of .
Moreover, for every smooth function there is an evident restriction map and so this yields a presheaf of groupoids, hence a functor . The Yoneda lemma says that thinking of Lie groupoids as presheaves of ordinary groupoids this way does not lose information — and topos theory say that it is generally a good idea.
Let therefore
be the localization of groupoid-valued presheaves that universally turns stalkwise homotopy equivalences into actual homotopy equivalences: if a natural transformation in is such that for each SmthMfd and each there is a neighbourhood of such that is an equivalence of groupoids, then has a homotopy inverse in .
We call this the (2,1)-topos of smooth groupoids or of smooth stacks.
Discussed there are tools for describing concretely. For the moment we only need to know that
the Cech nerve projection of every open cover has a homotopy inverse in , as already used;
if the cover is good and is a Lie group, then every morphism in is presented by a zig-zag of the form .
Then we have
a morphism in is precisely a smooth real vector bundle on ;
a homotopy between two such morphisms in is precisely a smooth -gauge transformation between the two vector bundles.
Therefore regarded as an object of is the moduli stack of real vector bundles.
Of course there is a “smaller” Lie groupoid that also classifies real vector bundles, but whose gauge transformations are restricted to be orthogonal group-valued functions. Passing to this “smaller” Lie groupoid is what the choice of vielbein accomplishes, to which we now turn.
Consider the defining inclusion of the orthogonal group into the general linear group
We may understand this inclusion geometrically in terms of the canonical metric on . We may also understand it purely Lie theoretically as the inclusion of the maximal compact subgroup of . This makes it manifest that the inclusion is trivial at the level of homotopy theory (it is a homotopy equivalence of the underlying topological spaces) and hence only encodes geometric information.
The inclusion induces a corresponding inclusion (0-truncated morphism) of moduli stacks
simply by regarding it as a morphism of Lie groupoids
in the evident way.
Now we can say what a Riemannian metric/orthogonal structure on is:
A choice of orthogonal structure on is a factorization of the above -valued cocycle through , up to a smooth homotopy in , hence a diagram
in .
This consists of two pieces of data
the morphism is (by the same reasoning as for above) a -valued 1-cocycle – a collection of orthogonal transition functions – hence on each overlap of coordinate patches a smooth function
such that
on all triple overlaps of coordinate charts ;
the homotopy is on each chart a function
such that on each overlap of coordinate charts it intertwines the transition functions of the tangent bundle with the new orthogonal transition functions, meaning that the equation
holds. This exhibits the naturality diagram of :
The component defines an -principal bundle on , or its associated vector bundle. The component is the corresponding vielbein. It exhibits an isomorphism
between a vector bundle with structure group explicitly being the orthogonal group, and the tangent bundle itself, hence it exhibits the reduction of the structure group of from to .
We consider now the space of choices of vielbein fields on a given tangent bundle, hence the moduli space or moduli stack of orthogonal structures/Riemannian metrics on .
This is usefully discussed in terms of the homotopy fiber of the morphism . One finds that the homotopy fiber is the coset .
This means that there is a diagram
in , and that is universal with the property of sitting in such a diagram.
We may think of this fiber sequence as being a bundle in over the moduli stack with typical fiber . As such, it is the smooth associated bundle to the smooth universal GL(n)-bundle induced by the canonical action of on .
One basic properties of homotopy pullbacks is that they are preserved by forming derived hom-spaces out of any other object . This means that also
is a fiber sequence. This in turn says that orthogonal structures on such that the underlying tangent bundle is trivializable, are given by smooth functions into .
This means that if the tangent bundle is trivializable, then the coset space is the moduli space for vielbein fields on :
However, if is not trivial, then this is true only locally: there is then an atlas such that restricted to each the moduli space of vielbein fields is , but globally these now glue together in a non-trivial way as encoded by the tangent bundle: we may say that
the tangent bundle twists the functions . If we think of an ordinary such function as a cocycle in degree-0 cohomology, then this means that a vielbein is a cocycle in -_twisted cohomology_ relative to the twisting local coefficient bundle .
We can make this more manifest by writing equivalently
where now on the right we have inserted the fibration resolution of the morphism as provided by the factorization lemma: this is the morphism out of the action groupoid of the action of on .
The pullback
gives the non-linear -associated bundle whose space of sections is the “twisted -0-cohomology”, hence the space of inequivalent vielbein fields.
The above says that the space of vielbein fields is the cohomology of in the slice (2,1)-topos with coefficients in
But also this space of choices of vielbein fields has a smooth structure, it is itself a smooth moduli stack. This is obtained by forming the internal hom in the slice over of the locally cartesian closed (2,1)-category .
For more on this see also the discussion at general covariance.
We may further refine this discussion to differential cohomology to get genuine differential -twisted -structures.
Recall that the moduli stack is presented in by the presheaf of groupoids
We may think of this for each as being the groupoid of -gauge transformations acting on the trivial -bundle over . A connection on the trivial -bundle is a Lie algebra valued form . Accordingly, the presheaf of groupoids
is that of -connections and gauge transformations between them: the groupoid of Lie-algebra valued forms over . As an object of SmoothGrpd this the moduli stack of -connections:
The morphism has an evident differential refinement to a morphism between such differentially refined moduli stacks
by acting on the differential forms with the induced inclusion of the orthogonal Lie algebra into the general linear Lie algebra .
The homotopy fiber of this differential refinement turns out to be the same moduli space as before
so that the moduli space of “differential vielbein fields” is the same as that of plain vielbein fields. But we nevertheless do gain differential information: consider an affine connection on the tangent bundle, which is now given by a morphism from to the moduli stack
This is a -principal connection which locally on an atlas is given by the Christoffel symbols
A -twisted differential cocycle is now a diagram
In components over the atlas, is a “spin connection” given by local 1-forms
and the vielbeing now exhibits on each chart the familiar relation between the components of the spin connection and the Christoffel-symbols:
It is a familiar fact that many fields in physics “naturally pull back”. For instance a scalar field on a spacetime is a function , and for any smooth function between spactimes, there is the corresponding pullback function/field .
Similarly for a gauge field, as discussed above, it has naturally a pullback along given simply by forming the composite .
But the situation is a little different for twisted fields such as orthogonal structures/Riemannian metrics. If we think of a Riemannian metric as given by a non-degenerate rank-2 tensor on , then the problem is that, while its pullback along will always be a rank-2 tensor, it is not in general non-degenerate anymore – unless is a local diffeomorphism.
This is also nicely formulated in the language used above, in a way that has a useful generalization when we come to higher twisted structures below: since the metric is encoded not just in a plain morphism , but one that fits into a triangle
a simple precomposition with just a morphism is not the right operation to send this triangle based on to one based on .
But since this triangle is a morphism in the slice topos , it is clear that it does pull back precisely along refinements of to a morphism in .
Such a refinement is a commuting triangle of the form
in . But this is evidently the same as an isomorphism between the tangent bundle of and the pullback of the tangent bundle on . And this exhibits as a local diffeomorphism.
The above discussion of ordinary vielbein fields is just a special case of an analogous discussion for general reduction of structure groups, giving rise to generalized vielbein fields. Many geometric structures in string theory arise in this way, as indicated in the table of twists.
As one more out of these examples, we discuss in the above language of twisted smooth cohomology how a type II geometry of type II supergravity is the reduction of the structure group of the generalized tangent bundle along the inclusion .
Consider the Lie group inclusion
of those orthogonal transformations, that preserve the positive definite part or the negative definite part of the bilinear form of signature , respectively.
If is presented as the group of -matrices that preserve the bilinear form given by the -matrix
then this inclusion sends a pair of orthogonal -matrices to the matrix
This induces the corresponding morphism of smooth moduli stacks, which we denote
Forming the homotopy fiber now yields the local coefficient bundle
There is also a canonical embedding
of the general linear group.
In the above matrix presentation this is given by sending
where in the bottom right corner we have the transpose of the inverse matrix of the invertble matrix .
Under this inclusion, the tangent bundle of a -dimensional manifold defines an -cocycle
The vector bundle canonically associated to this composite cocycle may canonically be identified with the direct sum vector bundle , and so we will refer to this cocycle by these symbols, as indicated. This is also called the generalized tangent bundle of .
Therefore we may canonically consider the groupoid of -twisted -structures, according to the general notion of twisted differential c-structures.
A type II generalized vielbein on a smooth manifold is a diagram
in , hence a cocycle in the smooth twisted cohomology
The groupoid is that of “generalized vielbein fields” on , as considered for instance around equation (2.24) of (GMPW) (there only locally, though).
In particular, its set of equivalence classes is the set of type-II generalized geometry structures on .
Over a local coordinate chart , the most general such generalized vielbein (hence the most general -valued function) may be parameterized as
where are thought of as two ordinary vielbein fields, and where is any smooth skew-symmetric -matrix valued function on .
By an -gauge transformation this can always be brought into a form where such that
The corresponding “generalized metric” over is
where
is the metric (over a smooth function with values in symmetric -matrices) given by the ordinary vielbein .
Above we have seen (pseudo-)Riemannian structure given by lifts through the inclusion . Now we consider further lifts, through the Whitehead tower of . This encodes higher spin structures.
Where a spin structure on spacetime is necessary to cancel a quantum anomaly of the spinning particle/superparticle sigma-model, so the heterotic superstring requires, in the absence of a gauge field, a “higher spin structure”, called a string structure. Further up in dimension, dual heterotic string theory in the absence of the gauge field involves a fivebrane structure.
In the presence of a nontrivial gauge fields, string structures are generalized to twisted string structure, which in heterotic string theory are part of the Green-Schwarz mechanism. These we discuss below.
The nature of higher spin structures is governed by what is called the Whitehead tower of the homotopy type of the classifying space of the orthogonal group, where in each stage a homotopy group is removed from below. This is dual to the Postnikov tower, where in each stage a homotopy group is added from above.
The homotopy groups of start out as
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | |
---|---|---|---|---|---|---|---|---|---|
* | 0 | 0 | 0 | 0 |
The Whitehead tower of starts out as
where
the stages are the deloopings of
… fivebrane group string group spin group special orthogonal group orthogonal group
the obstruction classes are the universal characteristic classes
every possible square in the above is a homotopy pullback square (using the pasting law).
For instance can be identified as such by representing by a Kan fibration (see at Postnikov tower) between Kan complexes so that then the homotopy pullback (as discussed there) is given by an ordinary pullback. Since is a simplicial model category, can be applied and preserves the pullback as well as the homotopy pullback, hence sends to an isomorphism on connected components. This identifies as being an isomorphism on the second homotopy group. Therefore, by the Hurewicz theorem, it is also an isomorphism on the cohomology group . Analogously for the other characteristic maps.
In summary, more concisely, the tower is
where each “hook” is a fiber sequence.
The universal property of homotopy pullbacks says that
the obstruction to lifting an orthogonal structure to an orientation structure is the homotopy class of , the first Stiefel-Whitney class;
the obstruction to lifting an orientation structure to an spin structure is the second Stiefel-Whitney class ;
the obstruction to lifting a spin structure to an string structure is the first fractional Pontryagin class;
the obstruction to lifting a string structure to a fivebrane structure is the second fractional Pontryagin class.
We will below consider a smooth refinement of the above Whitehead tower. Before we do so, here a few words on why we need to do this.
One way to state the general problem is:
The classifying space of, say, the spin group is not afine moduli space.
Because, while homotopy classes of maps are in bijection with equivalence classes of spin bundles on , the homotopy classes of homotopies from the trivial map are not in general in bijection with the gauge transformations of the trivial spin bundle: the latter form the set of smooth functions , not just the homotopy classes of these.
does not give the right BRST-complex; hence speaking about gauge theory in terms of just bare (as opposed to geometric) homotopy theory does not yield an admissible starting point for quantization (by BV-BRST formalism).
cannot distinguish a group from its maximal compact subgroup, such as , and hence cannot see vielbeins, not generalized vielbeins, not exceptional generalized geometry:
in terms of classifying spaces the entire discussion of vielbein fields above would collapse;
higher analogs of this problem include for instance that cannot distinguish over 10-dimensional spacetime an E8-gauge field from a NS5-brane magnetic charge;
These problems are all fixed by refining classifying spaces such as to smooth moduli stacks such as .
We considered above the smooth refinement of the classifying space for a Lie group to a smooth moduli stack . While that works well, one can see on general grounds that this cannot provide a smooth refinement of the higher stages of the Whitehead tower, if one asks the refinement to preserve obstruction theory. The problem is that a smooth stack is necessarily a smooth homotopy 1-type (even if its geometric realization is a higher type! see below), while the higher stages of the smooth Whitehead tower need to be smooth homotopy n-types/n-groupoids for higher .
But there is an evident refinement of the above discussion to such smooth -types.
To that end we first need a good model for bare homotopy types. One observes that the nerve functor embeds groupoids into Kan simplicial sets, as precisley those which are 2-coskeletal, meaning that only their 0-cells and 1-cells are non-trivial. Accordingly, a Kan complex which is (n+1)-coskeletal may be regarded as an n-groupoid modelling a homotopy n-type, and hence a general Kan complex as an ∞-groupoid.
A morphism between groupoids is an equivalence of groupoids precisely if it is an essentially surjective functor and a full and faithful functor. This is equivalent to it inducing an isomorphism on isomorphism classes / connected components, and on automorphism groups. This in turn is equivalent to it inducing an isomorphism on the 0th and the first homotopy groups and .
Accordingly, we say that a homotopy equivalence between Kan complexes is a morphism which induces an isomorphism on all homotopy groups. These can be defined for general simplicial sets, and we say a morphism between these is a weak homotopy equivalence if it induces such isomorphisms.
Write
for the homotopy theory obtained by localization at the weak homotopy equivalences: ∞-groupoids.
A topological space defines a Kan complex/ ∞-groupoid by the singular simplicial complex construction , and this establishes an equivalence between the homotopy theory of topological spaces and simplicial sets
In view of this, the above Whitehead tower can be understood entirely as taking place in Kan complexes.
For instance for an abelian group, the 2-groupoid
corresponds to the Eilenberg-MacLane space .
More generally, for each chain complex of abelian groups the Dold-Kan correspondence provides a Kan complex whose simplicial homotopy groups are the chain homology groups of . A quasi-isomorphism is sent to a weak homotopy equivalence . In this sense ∞Grpd is a non-abelian generalization of chain complexes with quasi-isomorphisms inverted.
Using this, we can easily state the generalization of the definition of smooth stacks from above: we obtain a homotopy theory of smooth ∞-stacks Smooth∞Grpd by considering simplicial sets parameterized over smooth manifolds and forcing stalkwise weak homotopy equivalences to become homotopy equivalences
For instance there is the smooth 2-stack
given by assigning to each test space the Eilenberg-MacLane space on the (discrete) abelian group of smooth functions
A morphism in is equivalently a zig-zag through the Cech nerve. This now defines in degree 2
smooth functions on triple overlaps
and the condition on quadruple overlaps says that they satisfy
This now identifies with a cocycle in degree-2 Cech cohomology
This classifies a smooth circle 2-bundle / bundle gerbe.
Generally we have
and for a smooth manifold
So apparently the smooth -stack is a smooth refinement of the Eilenberg-MacLane space .
This is made precise as follows.
Theorem There is an (∞,1)-functor
which is left adjoint to the functor that assigns constant ∞-stacks. We call this the geometric realization of smooth ∞-groupoids.
We say that a choice of lift of a diagram of bare homotopy types through geometric realization is a smooth geomtric refinement.
For instance one finds
and hence is a smooth geometric refinement of .
We now apply this to the above Whitehead tower.
We state the smooth refinement of the above Whitehead tower and then explain some aspects of how it is constructed.
Theorem There is a smooth geometric refinement of the above Whitehead tower of bare homotopy types to a tower of smooth homotopy types/smooth ∞-stacks of the form
where
is the delooping of the smooth circle n-group, the smooth moduli -stack of smooth circle n-bundles;
is the delooping of the smooth string 2-group, the moduli 2-stack of smooth -principal 2-bundles
is the delooping of the smooth fivebrane 6-group, the smooth moduli 6-stack of smooth fivebrane-principal 6-bundles.
and where
classifies the universal Chern-Simons circle 3-bundle and hence identifies it with ;
classifies the universal Chern-Simons circle 7-bundle and hence identifies it with .
This is constructed using essentially the following three tools for presenting presheaves of higher groupoids:
and its prolongation to presheaves
allows to use presheaves of chain complexes of abelian groups to present presheaves of strict -groupoids with strict abelian group structure.
For instance
is equivalent to the image under the DK correspondence of the sheaf of chain complexes which is concentrated in degree on the group of -valued functions.
Some nonabelian generalizations of the Dold-Kan correspondence allow to use chain complexes of not entirely abelian groups – crossed complexes – to present a few more classes of -groupoids. Notably nonabelian 2-term chain complexes,
called crossed modules, due to them being equipped with a compatible action , serve to equivalently present strict 2-groups.
For instance, one way to construct the string 2-group above is via the crossed module induced from the Kac-Moody central extension of the loop group of .
For a given crossed module, the corresponding moduli 2-stack has 2-cells that look like
The Lie integration of an L-∞ algebra yields the corresponding smooth ∞-group . For instance the string 2-group above is also equivalently given by , where is the string Lie 2-algebra.
Using these tools, the stages of the above smooth Whitehead tower are constructed as follows:
the morphism is directly induced from the canonical Lie group homomorphism .
the morphism in is presented by the zig-zag of crossed modules
the morphism is constructed (FSSa) as the Lie integration of the canonical L-∞ 3-cocylce .
similarly is the Lie integration of a canonical 7-cocycle (FSSa).
While the above smooth refinement of the Whitehead tower already improves on the bare Whitehead tower by remembering the correct spaces of gauge transformations, it still only sees “instanton sectors” of gauge fields and higher gauge fields, namely the underlying principal ∞-bundles. We add now the refinement from smooth cohomology to differential cohomology such as to encode the actual higher gauge fields themselves. This differential cohomology in turn is naturally available in terms of curvature twisted flat cohomology or equivalently curvature-twisted local systems.
In order to get a feeling for what differential refinements of higher moduli stacks are going to be like, recall two structures that we have already seen above:
For a Lie group the smooth moduli stack of smooth -principal connections from above is presented by
In the special case that is abelian, this is the image under the Dold-Kan correspondence of the length 1 complex of sheaves of abelian groups
The smooth -stack is realized as the image under the Dold-Kan correspondence by the chain complex of sheaves
From the look of these expressions there is already a plausible candidate for the differential refinement , the moduli -stack of circle n-bundles with connection – it should be the Deligne complex:
For instance a cocycle in is in and relative to a good open cover given by a morphism , which is
on each a connection 2-form ;
on each a 1-form such that ;
on each a smooth functor such that and such that on each the equation holds.
Tthe B-field on spacetime is (in the absence of various possible twists, to be discussed), such a cocycle ; and the C-field (similarly in the absence of possible twists, to be discussed below) is given by a morphism .
Such cocycles in Deligne hypercohomology define classes in ordinary differential cohomology :
There is an evident morphism
which forgets the connection data. We say that is a differential refinement of .
We now want to construct a differential refinement of the above smooth Whitehead tower, hence of the smooth universal characteristic classes appearing in it. To do so, we now first provide a more conceptual way to think of , a way to obtain this more abstractly from fundamental principles.
The key is that the (∞,1)-topos of smooth ∞-stacks comes with a canonical notion of local system or flat ∞-connection, and that we can twist this to find a notion of curvature-twisted and hence non-flat ∞-connection. The notion of local systems is induced from two basic derived adjoint functors that exist on
where evaluates a presheaf on the point, and where sends an -groupoid to the presheaf constant on that value. We form the composite
to be pronounced “flat”: for a smooth homotopy type, we call the corresponding flat local coefficient object.
For instance if is a Lie group, then , and so a morphism is equivalently a cocycle , hence a -covering space, hence a flat -principal connection.
Generally, we say that a morphism
is an -local system or -valued flat ∞-connection on .
There is a canonical forgetful morphism which forgets the flat connection: this is the -counit. Consider the coefficient object of those flat -connections whose underlying -principal ∞-bundle is trivial
From the example of ordinary principal connections it is familiar that flat -connections on trivial -principal bundles are equivalently flat Lie algebra valued differential forms. Below we will see that for general smooth ∞-groups , morphisms are -∞-Lie algebra valued differential forms on .
Reading the above expression in homotopy type theory, its categorical semantics is the homotopy fiber of the counit
By this construction and applying the pasting law, there is a canonical morphism , hence a canonical -valued form on any cohesive ∞-group : this identifies as the canonical Maurer-Cartan form on the ∞-group .
For the special class of cases the circle (n+1)-group we call the universal curvature class in degree .
Due to the existence of the further functor discussed above it follows that is a right adjoint and hence commutes with homotopy pullback. This in turn implies that by forming one more homotopy fiber above, we obtain the following differential version of a universal local coefficient bundle:
By the general concept of twisted cohomology, we see that this defines a notion of curvature twisted flat differential cohomology – hence of differential cohomology.
Specifically, for a closed differential form on , a cocycle in -twisted -cohomology is equivalently a circle n-bundle with connection with that curvature
For varying , the -twisted cohomology in identifies with ordinary differential cohomology: the homotopy pullback in
is presented, under the Dold-Kan correspondence, by the Deligne complex, discussed above. This exhibits ordinary differential cohomology as the curvature-twisted flat cohomology
Using this geometric-homotopy-type theoretic description of ordinary differential cohomology, we obtain now a natural notion of differential refinement of smooth universal characteristic classes . We say that a differential refinement of is a morphism fitting into a diagram
that factors the naturality square of on .
Theorem (SSSa, FSSa) There exists a smooth differential refinement of the Whitehead tower of BO as follows:
This construction is a joint generalization of Chern-Weil theory and Chern-Simons theory to ∞-Chern-Weil theory and ∞-Chern-Simons theory
For instance
the differential refinement of the first fractional Pontryagin class above yields the action functional
of Spin-Chern-Simons theory, refined to the integrated off-shell BRST-complex of the theory;
the differential refinement of the second fractional Pontryagin class above yields the action functional
of 7-dimensional Chern-Simons theory on nonabelian String 2-form fields (FSSb)
We indicate briefly how this is constructed.
(…)
Before coming to the description in smooth moduli ∞-stacks below, we make some introductory comments on the general origin of twisted differential structures in higher gauge theory, following (Freed). We add some stacky aspects to that and explain why.
In summary, we discuss how the action functional of higher gauge theory in the presence of electric and magnetic charge is a section of a circle bundle with connection on the smooth ∞-stack of field configurations on a given spacetime , exhibited by a morphism
where is the differential characteristic morphism induced by the differential cup product (FSSd) of universal electric and magnetic currents, and where is fiber integration in ordinary differential cohomology refined to smooth -stacks (this is the “-dimensional infinity-Chern-Simons theory” of in codimension 1).
Gauge theory starts maybe with Maxwell around 1850, who discovered, in modern language, that the field strength of the electromagnetic field on spacetime is encoded in a closed differential 2-form .
Then in the 1930s Dirac‘s famous argument showed that more precisely – in the absence of, or outside of the support of magnetic charge current – this 2-form is the curvature of a circle group-principal bundle with connection, a 2-cocycle in ordinary differential cohomology.
In view of this the gauge equivalence classes of configurations of the electromagnetic field on form the set
of differential cohomology classes in degree 2 on .
Dirac’s argument works outside the support of the magnetic current, where the situation is comparatively easier to handle. But the twists and anomalies that we are concerned with here arise when one completes Dirac’s argument, and generalizes the model of the electromagnetic field to exist also over parts of spacetime where the magnetic current is non-trivial (Freed). Among other things the following shows that twists by higher bundles and differential cohomology is not just something that arises in string theory, but is already present in dear-old electromagnetism.
To see what happens in that general case, notice that the original Maxwell equations on the field strength/curvature 2-form of the electromagnetic field are:
where is the Hodge star operator for the given pseudo Riemannian metric (the field of gravity) on .
The first one is kinematics. For it just expresses that the cuvature 2-form is closed, which is part of the fact that is a differential cocycle, so it is satisfied by all kinematic field configurations, meaning: all elements of .
The second is dynamics, being the equations of motion of the system. The configurations that satisfy this form the covariant phase space (BV-BRST complex) of the theory. For our purposes here this will not concern us, since the anomalies and twists are kinematic in nature, we work “off-shell”.
While for experimentally observed electromagnetism it is consistent to assume that , this is not the case for general gauge theories, notably not for heterotic supergravity, as we discuss in a moment. There the gauge field and the field of gravity induce a non-vanishing “fivebrane magnetic current”
But for a circle n-bundle with connection in , the curvature is necessarily closed, . So there must be another way to refine to differential cohomology.
(Notice for later that the natural home of is not plain de Rham cohomology, but compactly supported cohomology. The equation is a trivialization of the image of in de Rham cohomology, but not in general a trivialization of the magnetic current as an entity living in compactly supported cohomology.)
Consider therefore now the groupoid
whose
objects are cocycles in degree- differential cohomology: circle n-group-circle n-bundles with connection;
morphisms are equivalence classes of gauge transformations between these, hence equivalence classes of morphisms of higher bundles with connection.
This “categorifies” the cohomology set in that the letter is its decategorification: the set of isomorphism classes of objects.
For instance if differential cohomology is modeled by the Deligne complex with differential , then a morphism in is a Deligne coboundary .
Or in terms of our smooth moduli stacks, this is a homotopy
Notice that, since morphisms in preserve the higher connection, a morphism
in is a flat section of the corresponding circle -bundle, while a morphim
for some is a possibly non-flat section, hence a section just of the underlying circle n-group-principal ∞-bundle: it exhibits the fact that if the underlying bundle has a section, then the connection is equivalently given by a globally defined -form .
(Beware of this subtlety when comparing with (Freed): a differential as on the fifth line of p. 8 there may change the curvature by an exact term, hence may not preserve the connection, in contrast to the coboundaries further below on that page and on p. 9, which are the ones we are considering here.)
(Another reason for considering the groupoid is that it is needed in order to construct the quadratic refinement of the secondary intersection pairing that defines the partition function of self-dual higher gauge theory (Hopkins-Singer). This underlies the discussion of flux quantization below.)
Using this, we may improve the definition of the electromagnetic field on : take it to be a non-flat section
of a magnetic charge circle 2-bundle with connection . Equivalently, in terms of the corresponding classifying morphisms in this is a homotopy in a diagram of the form
If is given by a Deligne cochain , by a cochain then this means that
We say that is a -twisted bundle with twisted curvature being
This now correspondingly has a twisted Bianchi identity, which is precisely so that it solves the first Maxwell equation in the presence of magnetic current: .
While we have been discussing this here for ordinary electromagnetism, this is precisely the mechanism by which also the higher cases will work: for the heterotic Green-Schwarz mechanism the analogy is
Before we get there, we need to observe that working with the 1-groupoid is not sufficient. We discuss now that we necessarily need the full n-groupoid and moreover its smooth refinement to the full smooth n-stack in order to capture the physics situation.
To see that we need the full higher groupoid, just consider the question: what is a gauge transformation between twisted electromagnetic fields, that are now identified with morphisms as above? Clearly, for this we need the 2-groupoid of differential cocycles
to next say that the equivalenc class of a gauge transformation of twisted fields is a 2-morphism
That we moreover need the full smooth n-groupoid has several reasons, we discuss three. The third one of these is related to the higher gauge anomalies proper.
The magnetic twist will depend on other field configurations that induce magnetic charge. So it is not a constant, but varies with the fields.
(In fact, only this way is it a non-trivial stricture, for if both and are independent of the fields, the above definition of the groupoid of s is equivalent to that of untwisted electromagnetic fields: because homotopy fibers only depend on the connected component of the base points, up to equivalence.)
Let therefore be the gauge group of another background gauge field, and let be its moduli stack of gauge field configurations. If a -field induces magnetic current, then must depend on the fields, hence it should be a map
between these spaces of fields, and it should be a smooth such map. Moreover, in general this is not expected to depend specifically the specific choice of , but just on the notion of -fields in general, so it should be given just by postcompositon
with a universal smooth map on moduli. With that given, the above picture for the -twisted higher electric field becomes
We can then subsume all this and consider the smooth collection of all such twisting background fields and twisted gauge fields . By general reasoning, this is given by the homotopy pullback that universally completes the above diagram
So far we are talking about gauge fields and higher gauge fields on which we are evaluating an action functional (see below). Eventually one wants to quantize such a setup. There are two issues with this: first of all the action functional needs to be well-defined in the first place, we get to in the next point. But second, once we have a well-defined action functional on gauge fields, the only way to quantize this is to invove BV-BRST formalism: we need the BRST complex of the gauge fields.
or ordinary gauge theory this is the Lie algebroid of the smooth version
Similarly for higher gauge theory it is the L-infinity algebroid.
The anomaly line bundle to be discussed in a moment below is a special case of a general construction in extended “∞-Chern-Simons theory”. So before getting to that special case, we indicate here the general pattern.
The action functional of ordinary Chern-Simons theory is traditionally taken to be simply a function, for a gven compact 3-manifold ,
on -principal connections over . This perspective can be refined.
First of all, since this function is gauge invariant we may think of it as being defined on the full moduli stack
This also exhibits the smoothness of the action.
An important construction in Chern-Simons theory is the geometric quantization of this action functional in the case that , which yields a holomorphic line bundle with connection on the covariant phase space of the theory, which may be identified with the space of flat connections over a 2-dimensional . Generally, one expects to see a circle k-bundle with connection assigned to a of codimension .
Above we had already seen such a structure in top codimension: if is the point, then . So there should be a cricle 3-bundle with connection on this moduli stack. Taking , for definiteness, then the differential first fractional Pontryagin class from above is precisely of this form:
And indeed, as stated there, this induces the Chern-Simons action functional itself. Indeed, it induces a whole tower of higher circle bundles, in each codimension:
The operation of fiber integration of differential forms extends to an operation of fiber integration in ordinary differential cohomology, which in turn, as discussed there, extends to a morphism of smooth moduli stacks of the form
If now
is any universal differential characteristic map, and is compact closed of dimension , then the composite
is a “-extended action functional”.
An important class of ∞-Chern-Simons theories arising this way come from that are cup products of two other differential classes (FSSd). For instance in ordinary abelian higher dimensional Chern-Simons theory one starts with the tautological differential class
and then forms its differential cup product (FSSd)
The action functional induced by this is that of -dimensional higher dimensional Chern-Simons theory which sends those -form fields whose underlying bundle happens to be trivial to .
The anomaly line bundle which we now turn to arises in this kind of way, only for the slightly more general case that the ∞-Chern-Simons theory involved is not given by a differential square, but by a genuine differential cup of two different cocycles: the electric and the magnetic differential cocycles.
We discuss now how the action functional of the (higher) gauge theory in the presence of electric charge current and magnetic charge current has in general an anomaly, but this anomaly exhibits itself, in traditional language, as something living over families of gauge fields. But by the formula for the internal hom of sheaves/stacks
this means effectively to work over the smooth moduli stack of fields itself. Notably, the anomaly is going to be (the non-triviality of) a circle bundle with connection on “the space of all fields”, so we certainly need a smooth structure on that space. We indicate now how that line bundle
appears.
First, the kinetic piece of the action functional is simply .
But suppose there is a charged particle with trajectory . Then there is an interaction term . Let be the Poincare dual form. Then .
This may be expressed using the Beilinson-Deligne cup product and the fiber integration in ordinary differential cohomology as . (Here is where we need to have compact support.) This is a differential 2-cocycle on the moduli stack of field configurations: by the formula for the internal hom and for forms on a stack, we are evaluating for each test manifold on families of fields over and then integrate out over .
But in the case where there is non-trivial this is no longer the case, there instead this is a trivialization of a twist
Moreover, this twist matters in compactly supported cohomology (this is what fiber integration in ordinary differential cohomology sees), where it is in general not trivialized. So the action functional is not a function, but a section of a line bundle. Its first Chern class is the 2-class of
This is the anomaly line bundle with connection on the moduli stack of fields.
For this to cancel, there needs to be a fermionic anomaly – the Pfaffian line bundle of the Dirac operators on the fermions in the theory – of the same structure.
The total action functional (higher gauge fields and fermions) is a section of the tensor product of these two
The action functional needs to be a flat section of . Hence the two line bundles need to be inverse to each other. This condition is the Green-Schwarz mechanism.
In the previous section we have considered higher differential structures originating in the orthogonal group. In applications to string theory these structures receive twists originating in the unitary group (or representations through the unitary group of groups like E8). (The orthogonal structures correspond to the field of gravity, while the unitary structures correspond to gauge fields.)
Accordingly, the above Whitehead tower of has stage-wise unitary twistings. In the first stage this is given by the familiar spin^c-group, then there is a String^c 2-group, etc.
After discussing some generalities of these higher unitary-twisted connected covers of the orthogonal group below we then turn to discussing a list of twisted structures and their appearance in string theory:
unitary-twisted higher orthogonal structure | role in string theory |
---|---|
twisted differential spin^c structure | Freed-Witten anomaly cancellation for type II strings on D-branes |
twisted differential String^c-structure | flux quantization in 11d sugra/M-theory with M5-branes |
twisted differential string structure | Green-Schwarz mechanism in heterotic string theory |
twisted differential fivebrane structure | Green-Schwarz mechanism in dual heterotic string theory |
The Lie group spin^c is traditionally defined by the formula
which denotes the quotient of the product by the diagonal action induced by the common canonical subgroup of order 2.
For our purposes it is useful to think of this as follows. We have the -higher fiber bundle classified by the smooth second Stiefel-Whitney class
and we also have the higher fiber bundle
which is -associated to the universal principal bundle universal -bundle.
One finds, using the presentation of these maps as discussed above, that is the corresponding associated bundle, namely the homotopy pullback
Equivalently we may write this as a Mayer-Vietoris sequence and thus obtain the universal local -coefficient bundle over
We may read this as saying:
Where the moduli stack is the homotopy fiber of the smooth second Stiefel-Whitney class , the moduli stack is that homotopy fiber universally twisted by the smooth first Chern class ._
In the following we consider higher analogs of this, where homotopy fibers of “orthogonal classes” are twisted by “unitary classes”.
In particular, one step higher in the Whitehead tower of BO, we can twist the smooth first fractional Pontryagin class with the smooth second Chern class to obtain the delooping of the smooth String^c 2-group
This controls the supergravity C-field in M-theory/11-dimensional supergravity as well as the Green-Schwarz mechanism in heterotic string theory, discussed below.
Before we come to that we consider another variant, since that leads to the most familiar twisting, that of twisted K-theory.
One finds that there is also a universal local -coefficient bundle over , and this is given by the smooth third integral Stiefel-Whitney class:
Since that now lands in , we can apply one more unitary twist by a corresponding class. The canonical such class is the universal Dixmier-Douady class of (stable) projective unitary bundles
This universal local coefficient bundle controls the Freed-Witten anomaly cancellation in type II string theory. To which we now turn.
We discuss aspects of the twisted smooth cohomology involved over D-branes in type II string theory: the Freed-Witten anomaly cancellation mechanism in terms of twisted K-theory.
For each , the central extension of Lie groups
that exhibits the unitary group as a circle group-extension of the projective unitary group induces the corresponding morphism of smooth moduli stacks
This is part of a long fiber sequence which continues to the right by a connecting homomorphism
in . Here the last morphism is presented in simplicial presheaves by the zig-zag of sheaves of crossed modules
We have seen above that a morphism classifies a circle 2-bundle encoded by a Cech 2-cocycle . This means that the universal local coefficient bundle
induces a notion of unitary bundles that are twisted by a 2-bundle.
Indeed, unwinding the definition one finds that a -twisted cocycle
is, with respect to a resolution of a good open cover , given by maps whose components read
Hence these are collections of smooth -valued functions
which satisfy on triple overlaps the equation
If happens to be constant on the neutral element, then this is the condition for a cocycle in . So in general we say it is a -twisted such cocycle. And that classifies a -twisted unitary bundle.
In generalization of how unitary bundles constitute cocycles for K-theory, these -twisted unitary bundles constitute cocycles for twisted K-theory.
For each there is a canonical inclusion , exhibiting the fact that a rank- complex vector bundle canonically induces a rank--bundle by added a trivial line bundle.
To get rid of the dependence on the rank – to stabilize the rank – we may form the directed colimit of smooth moduli stacks
Proposition The smooth stack is a smooth refinement of the classifying space of reduced K-theory. Also, for a compact smooth manifold smooth -principal bundles and smooth -gauge transformations on are represented by ordinary -bundles for some finite .
Now we think of the manifold as a target space for the type II superstring, hence assume it to be orientable and spin: and . Consider moreover a submanifold
to be thought of as the worldvolume of a D-brane, which is also or orientable and spin.
Assume first that also admits a spin^c structure, hence that also the third integral Stiefel-Whitney class vanishes .
We can consider then a cocycle in the -relative cohomology with coefficients in , namely a diagram
in .
This is
a circle 2-bundle on spacetime : the underlying bundle of the B-field;
a projective unitary bundle on , a Chan-Paton bundle on the D-brane;
In cohomology this says that
This is the Freed-Witten anomaly cancellation condition for -branes with spin^c structure.
More generally, if does not necessarily have -structure, we consider -relative cohomology with coefficients in the universal local coefficient bundle :
This now is equivalently a twisted Chan-Paton bundle and a -field such that in cohomology
This is the Freed-Witten anomaly cancellation condition for general .
We discuss the twisted smooth cohomology of the supergravity C-field in 11-dimensional supergravity/M-theory. With the smooth and differential refinement of the Whitehead tower in hand, this proceeds essentially in higher analogy to the previous example.
From the effective QFT of 11-dimensional supergravity the bosonic massless field content consists locally of the graviton and a 3-form . We have the following information on how a model of this field content must behave globally
Due to the existence of spinors, the graviton must be part of a spin connection:
Due to the coupling to the M2-brane the 3-form must lift to a well-dfined 3-holonomy and hence must globally be a circle 3-bundle with connection
Due to the coupling to the M5-brane, there is an auxiliary E8-bundle
and these fields must satisfy what in string theory literature is called the flux quantization condition, and what in Hopkins-Singer 05 is called an differential integral Wu structure, meaning that in cohomology
(Depending on convention one may write “” for “” here, regarding the physical -field as being “one half” of the differential cocycle above, see the remark below (1.2) in Witten‘s arXiv:hep-th/9609122).
A discrete 1-groupoid model satisfying these points has been by Freed-Moore and others (see the references here). Using cohesive homotopy type theory and following (FSSc) we now obtain naturally a genuine smooth moduli 3-stack of such field configurations: the interpretation of the evident expression
in homotopy type theory is (see HoTT methods for homotopy theorists for how this works) the smooth -stack given as the homotopy pullback
On the right this has the universal local coefficient bundle for from above, and hence this identifies a gravity-C-field configuration as being (a partial differential refinement of) a -twisted -structure.
By Ho?ava-Witten theory?, the 10-dimensional target spacetime of the heterotic string may be understood as being a boundary (or rather -orbifold fixed points, see below) of the 11-dimensional spacetime of 11d SuGra. Over this boundary
the curvature 4-form vanishes;
and the -principal bundle picks up a connection.
This means that the above defining homotopy pullback for goes over into the one that defines the differential refinement of :
On cohomology classes this means that
This is the integral part of the Green-Schwarz mechanism for the heterotic string.
Since this is now refined not just to cocycles, but to differential cocycles – to -2-connections, there is, locally over a cover , also an equation of differential forms that exhibits this in de Rham cohomology.
A morphism classifies field content that is expressed with respect to a good open cover in particular over single patches by (SSSa, FSSa)
the gauge connection ;
the spin connection (the field of gravity in first order formulation of gravity);
the B-field ;
which come with curvature/field strength forms
;
(-field strength shifted by the difference of the Chern-Simons forms of and );
satisfying the (twisted) Bianchi identities (SSSa))
;
;
(together with more local cocycle components on higher overlaps). Notably the twisted Bianchi identity of exhibits the above cohomological identity in de Rham cocycles.
These formulas characterize the Green-Schwarz anomaly cancellation conditions on the background gauge field content, that makes the heterotic string be well defined. Accordingly, is the smooth moduli 2-stack of anomaly free heterotic background fields (in the massless bosonic sector).
Notice that if the twist happen to vanish (say because both the field of gravity and the gauge field are trivial), then the above homotopy pullback reduces to
and exhibits as a genuine circle 2-bundle with connection (and its 3-form curvature with .). Conversely, this shows how in the general situation is a twisted circle 2-bundle, with the twist given by the “magnetic fivebrane current” .
(…)
An orientifold target space for the bosonic string is a smooth manifold or more generally orbifold equipped with
a double cover ;
a twisted -equivariant circle 2-bundle, given by a morphism whose underlying double cover is .
This means that this background is a cocycle in -twisted cohomology for the local coefficient bundle
Hence the B-field is now a cocycle in -twisted cohomology
or rather a differential refinement thereof. For the worldvolume of a string, an orientifold string configuration is a cocycle
given in by a diagram
consisting of
a map ;
an isomorphism .
In Ho?ava-Witten theory? there is similarly a twisted -action on the supergravity C-field, exhibited by a local coefficient bundle
There are various further twisted cohomological structures in string theory known or conjectured (for some of which possibly no smooth refinement has been constructed yet). We briefly list some of them.
In work like Loop Groups and Twisted K-Theory the following structure plays a role:
for a group, let
be a fixed group homomorphism. Then for a super vector bundle, an “-twist” of is an action of on such that an element acts by an even automorphism if is even, and by an odd automorphism if is odd (Freed ESI lecture, (1.13)).
This is a special case of the general notion of twist discussed here by considering the canonical morphism
as the local coefficient bundle, and considering as the twist: then an -twisting as above is a cocycle in the twisted cohomology given by a commuting triangle
Meanwhile in (Freed-Teleman 2012) special cases of the general notion of twisted fields above are being called relative fields. We briefly spell out how the definitions considered in that article are examples of the general notion above.
For a discrete group and for Smooth∞Grpd any object (for instance a smooth manifold) a morphism modulates a -principal bundle over , hence a free -action on such that is the quotient map.
Then the corresponding twisted cohomology has
domains are objects equipped with a -principal bundle, modulated by a morphism ;
cocycles are morphism in the slice (∞,1)-topos , hence diagrams of the form
in , hence maps equipped with equivalences
This class of examples is what appears as def. 3.4 in (Freed-Teleman). It contains in particular the above examples of Reduction of structure group and its differential refinement.
Next, consider a compact Lie group and a central group extension . This is classified by a cocycle
Then the corresponding twisted cohomology has
domains are objects equipped with a -principal 2-bundle/bundle gerbe modulated by a morphism ;
cocycles are morphism in the slice (∞,1)-topos , hence diagrams of the form
in , hence maps equipped with equivalences
between the principal 2-bundle/bundle gerbe induced by the -principal bundle modulated by , and the one modulated by .
Alternatively one can use here the differential refinement of to the moduli stack of -principal connections.
Examples and further details are discussed in Schreiber, section 7.1. In (Freed-Teleman) this example appears as def. 4.6.
twisted Morava K-theory (Sati-Westerland).
(…)
This section originates in some talk notes (Schreiber, Twists 2013).
We indicate now how the twisted smooth cohomology data as in the examples above induces and in fact corresponds to data for prequantum field theory sigma-models localized (in the sense of the cobordism hypothesis) to local prequantum field theory (lpqft).
In order to formalize this accurately, we first talk a bit more about the relevant cohesion, differential cohesion and tangent cohesion. The way to understand this is as follows:
In full generality, cohomology (see there for details) is what is given by the (∞,1)-categorical hom-spaces in some ∞-topos: for any two objects, then
is the cohomology of with coefficients in .
Therefore it is natural to ask: What is an (∞,1)-topos to be like whose intrinsic cohomology is equivariant twisted stable differential cohomology?
And the answer we find is: it is to be the tangent (∞,1)-topos of a cohesive (∞,1)-topos .
For more on this see at tangent cohesion.
After the discovery of the role of topological K-theory in D-brane phenomena in string theory, the observation that more generally M-theory involves various other twisted cohomology theories such as tmf and Morava K-theory, has notably been highlighted by Hisham Sati, surveyed in (Sati 10).
The suggestion that the right context for formulating the smooth and differential refinement of these twisted cohomology theories is the (∞,1)-topos We
of ∞-stacks over the site of smooth manifolds (the result of universally turning stalkwise homotopy equivalences on presheaves of Kan complexes into actual homotopy equivalences) is due to (Schreiber 09).
A full formalization of the classification of principal ∞-bundles in such (∞,1)-topos, and their classification by nonabelian cohomology was later given in (Nikolaus-Schreiber-Stevenson 12). There it is shown that for an ∞-group of twists, the corresponding twisted cohomology is the plain cohomology of the slice (∞,1)-topos
Precisely, for a -∞-action on some incarnated as its universal associated ∞-bundle (the local coefficient ∞-bundle) and for a twist, then the -twisted cohomology with local coefficients in is
The observation that for the differential cohomology-refinement of this twisted geometric cohomology it is the adjoint quadruple of (∞,1)-functors between to the base (∞,1)-topos (“cohesion”)
(with Disc and coDisc full and faithful (∞,1)-functors and the fundamental ∞-groupoid/geometric realization finite product-preserving) which governs all the theory was observed first in (Sati-Schreiber-Stasheff 09 (11))
There it was shown that this serves to construct and characterize the twisted differential string structures and twisted differential Fivebrane structures in (dual) heterotic string theory.
A comprehensive theory of (twisted equivariant) differential cohomology formulated by just this axiom of “cohesion” was then laid out in the thesis (Schreiber 11). Parts of this appear in various articles, such as (Fiorenza-Schreiber-Rogers 13). See (Schreiber Synthetic 13eiberSynthetic)) for a fairly comprehensive survey.
Notice that such cohesion is a very special property of some (∞,1)-toposes, not a generic property. In particular the existence of means that is a locally ∞-connected (∞,1)-topos and a globally ∞-connected (∞,1)-topos, and the existence of means that it is a local (∞,1)-topos.
Examples of cohesive higher geometry established and discussed in (Schreiber 11) include
Euclidean topological ∞-groupoids is cohesive
smooth ∞-groupoids is cohesive
super ∞-groupoids is cohesive;
smooth super ∞-groupoids is cohesive over super ∞-groupoids;
synthetic differential ∞-groupoids is even “differentially cohesive”, which allows to axiomatize also the notions of manifold, jet bundle etc.;
synthetic differential super ∞-groupoids is differentially cohesive over super ∞-groupoids.
Clearly these examples are all of a similar kind (modeled on variants of manifolds). There are also some diagram categories which are usefully cohesive, for instance
In October 2013 Charles Rezk announced a new kind of cohesion, namely:
But of course a central feature desireable for cohomology theory is stabilization of cohesion/cohesive spectrum objects.
In (Bunke-Nikolaus-Völkl 13 (14?)) is considered the stabilization of smooth cohesion, hence the stable (∞,1)-category of spectrum object in smooth ∞-groupoids, which carries an analogous adjoint quadruple over the (∞,1)-category of spectra
But this stable aspect is unified with the unstable cohesion by the notion of “tangent cohesion”. This we turn to now.
We first discuss generally how the tangent (∞,1)-category of an (∞,1)-topos is itself an (∞,1)-topos over the tangent -category of the original base (∞,1)-topos (Joyal 08). Then we observe that is cohesive if is and is in fact an extension of the latter by its stabilization. a choice
Let be the diagram category as follows:
Given an (∞,1)-topos , an (∞,1)-functor
is equivalently
a choice of object (the image of ]);
a sequence of objects in the slice (∞,1)-topos over ;a choi
a sequence of morphisms from into the loop space object of in the slice.
This is a prespectrum object in the slice (∞,1)-topos .
A natural transformation between two such functors with components
is equivalently a morphism of base objects in together with morphisms into the (∞,1)-pullback of the components of along .
Therefore the (∞,1)-presheaf (∞,1)-topos
is the codomain fibration of with “fiberwise pre-stabilization”.
A genuine spectrum object is a prespectrum object for which all the structure maps are equivalences. The full sub-(∞,1)-category
on the genuine spectrum objects is therefore the “fiberwise stabilization” of the codomain fibration, hence the tangent -category.
(spectrification is left exact reflective)
The inclusion of spectrum objects into is left reflective, hence it has a left adjoint (∞,1)-functor which preserves finite (∞,1)-limits.
Forming degreewise loop space objects constitutes an (∞,1)-functor and by definition of this comes with a natural transformation out of the identity
This in turn is compatible with in that
Consider then a sufficiently deep transfinite composition . By the small object argument available in the presentable (∞,1)-category this stabilizes, and hence provides a reflection .
Since transfinite composition is a filtered (∞,1)-colimit and since in an (∞,1)-topos these commute with finite (∞,1)-limits, it follows that spectrum objects are an left exact reflective sub-(∞,1)-category.
For an (∞,1)-topos over the base (∞,1)-topos , its tangent (∞,1)-category is an (∞,1)-topos over the base (and hence in particular also over itself).
By the the spectrification lemma has a geometric embedding into the (∞,1)-presheaf (∞,1)-topos , and this implies that it is an (∞,1)-topos (by the discussion there).
Moreover, since both adjoint (∞,1)-functor in the global section geometric morphism preserve finite (∞,1)-limits they preserve spectrum objects and hence their immediate (∞,1)-presheaf prolongation immediately restricts to the inclusion of spectrum objects
We may think of the tangent (∞,1)-topos as being an extension of by its stabilization :
Crucial for the internal interpretation in homotopy type theory is that the homotopy types in are stable homotopy types.
Now consider the case that is a cohesive (∞,1)-topos over ∞Grpd, in that there is an adjoint quadruple
with being full and faithful (∞,1)-functors and preserving finite (∞,1)-products.
Since (∞,1)-limits and (∞,1)-colimits in an (∞,1)-presheaf (∞,1)-topos are computed objectwise, this adjoint quadruple immediately prolongs to
Moreover, all three right adjoints preserves the (∞,1)-pullbacks involved in the characterization of spectrum objects and hence restrict to
But then we have a further left adjoint given as the composite
Again since is a left exact (∞,1)-functor this composite preserves finite (∞,1)-products.
So it follows in conclusion that if is a cohesive (∞,1)-topos then its tangent -category is itself a cohesive (∞,1)-topos over the tangent -category of the base (∞,1)-topos, which is an extension of the cohesion of the -topos over by the cohesion of the stable -category over :
Here
assigns the total space of a spectrum bundle;
its left adjoint is the tangent complex functor;
assigns the base space of a spectrum bundle;
its left adjoint produces the 0-bundle.
Where the (∞,1)-categorical hom-space in a general (∞,1)-topos constitute a notion of cohomology, those of a tangent (∞,1)-topos specifically constitute twisted generalized cohomology, in fact twisted bivariant cohomology.
For consider a spectrum object and write for its ∞-group of units. Then the ∞-action of this on is (by the discussion there) exhibited by an object
More generally, for the Picard ∞-groupoid of there is the universal (∞,1)-line bundle
Now for any object we have
then morphisms in from the latter to the former
are equivalently
a choice of twist of E-cohomology ;
an element in the -twisted -cohomology of , hence .
If we consider the internal hom then we can use just instead of :
For a geometric homotopy type and a spectrum object, then the internal hom/mapping stack
(with respect to the Cartesian closed monoidal (∞,1)-category structure on the (∞,1)-topos is equivalently the mapping spectrum
in that
Notice that as an object of , the object is the constant (∞,1)-presheaf on . By the formula for the internal hom in an (∞,1)-category of (∞,1)-presheaves we have
But since is constant the object is for each object of the presheaf represented by that object. Therefore by the (∞,1)-Yoneda lemma it follows that
This is manifestly the same formula as for the mapping spectrum out of .
By the same kind of argument we have the following more general statement.
For a geometric homotopy type, for an E-∞ ring with its universal (∞,1)-line bundle over its Picard ∞-groupoid, then the internal hom/mapping stack
is the object whose
whose spectrum bundle is the collection of -twisted E-cohomology spectra for all twists .
Let be a tangent cohesive -topos and write for the stable (∞,1)-category of spectrum objects inside it.
For every the naturality square
(of the shape modality applied to the homotopy cofiber of the counit of the flat modality) is an (∞,1)-pullback square.
This was observed in (Bunke-Nikolaus-Völkl 13). It is an incarnation of a fracture theorem.
By cohesion and stability we have the diagram
where both rows are homotopy fiber sequences. By cohesion the left vertical map is an equivalence. The claim now follows with the homotopy fiber characterization of homotopy pullbacks.
This means that in stable cohesion every cohesive stable homotopy type is in controled sense a cohesive extension/refinement of its geometric realization geometrically discrete (“bare”) stable homotopy type by the non-discrete part of its cohesive structure;
In particular, may be identified with differential cycle data. Indeed, by stability and cohesion it is the flat de Rham coefficient object
of the suspension of . So
exhibits as a differential cohomology-coefficient of the generalized cohomology theory (Bunke-Nikolaus-Völkl 13).
It follows by the discussion at differential cohomology in a cohesive topos that the further differential refinement of should be given by a further homotopy pullback
We describe the formulation of local prequantum field theory in a cohesive (∞,1)-topos (lpqft).
A classical field theory/prequantum field theory is traditionally defined by an action functional: given a smooth space “of trajectories” of a given physical system, then the action functional is a smooth function
to the circle group. The idea of producing a quantum field theory from this is to
choose a linearization in the form of the group homomorphism to the group of units of the complex numbers,
choose a measure on
and then declare that the integral (“path integral”)
is the partition function of the theory a kind of expectation value with probabilities replaced by probability amplitudes.
In order to make sense of this (for a full discussion of “motivic quantization” in this sense see (Nuiten 13), here we concentrate on the pre-quantum aspects), it is useful to allow some more conceptual wiggling room by passing to higher differential geometry. Notice that if we write for the smooth universal moduli stack of circle group-principal bundles, then an action functional as above is equivalently a homotopy of the form
where on the right we used the universal property of the homotopy pullback diagram which exhibits the smooth circle group as the loop space object of .
For instance for a smooth manifold (“spacetime”) and a circle group-principal connection (“electromagnetic field on spacetime”) then for trajectories in of shape the circle, the canonical action functional (“Lorentz force gauge interaction”) is the holonomy functional
But more generally, if the trajectories have a boundary, hence if they are of the shape of an interval , then the holonomy functional on smooth loop space generalizes to the parallel transport on the path space and there it is no longer a function, but exists only as a homotopy of the form
Notice that this is a “local” description of the action functional: the data that determines it is the boundary
and from this the rest is induced by transgression.
A related class of examples are prequantized Lagrangian correspondences: Let
be a symplectic manifold. Then a symplectomorphism is a correspondence of the form
A prequantization of is a lift in
and so a prequantized Lagrangian correspondence is
To conceptualize all this, write
for the homotopy theory obtained from the category of groupoid-valued presheaves on the category of all smooth manifolds by universally turning stalkwise equivalences of groupoids into genuine homotopy equivalences (“simplicial localization”).
This is the (2,1)-topos of smooth groupoids/smooth (moduli) stacks.
Write
for the (2,1)-category of correspondences in . Write for the slice (2,1)-topos over the smooth moduli stack of circle bundles with connection. Then the abovve diagrams are morphisms in .
The automorphism group of is the quantomorphism group of , hence the smooth group which is the Lie integration of the Poisson bracket Lie algebra of .
A concrete smooth 1-parameter subgroup
is equivalently a choice of a smooth function and sends
where
is the Hamiltonian flow induced by ;
is the Hamilton-Jacobi action functional, the integral of the Lagrangian of , hence of its Legendre transform.
(see Schreiber 13).
It is now clear how to pass from this to local prequantum field theory of higher dimension.
Let now more generally
be the homotopy theory obtained from the category of Kan complex-valued presheaves on the category of all supermanifolds by universally turning stalkwise homotopy equivalences into actual homotopy equivalences.
We say that this is the (∞,1)-topos of smooth super ∞-groupoids/_supergeometric moduli ∞-stacks.
Let
be the (∞,n)-category of -fold correspondences in . This is a symmetric monoidal (∞,n)-category under the objectwise Cartesian product in .
Smooth∞Grpd has the special property that it is cohesive in that it is equipped with an adjoint quadruple of adjoint (∞,1)-functors
which induce an adjoint triple of idempotent (∞,1)-monads/comonads
with product-preserving, called
Here the shape modality sends a simplicial manifold to the homotopy type of the fat geometric realization of the underlying simplicial topological space, hence in particular sends a smooth manifold to its homotopy type.
Write for the (∞,n)-category of framed n-dimensional cobordisms.
is equivalently a choice of object . It sends a cobordism to the internal hom of its shape into the higher moduli stack :
(lpqft)
Consider the induced canonical inclusion
By the above we may regard this as an action functional for an -dimensional prequantum field theory with moduli stack of fields being . As such we denote it
where the subscript is supposed to refer to “universal higher topological Yang-Mills theory”.
are equivalent to objects
This sends the dual point to and sends the -sphere to the transgression of to the mapping space .
(lpqft)
Consider the induced canonical inclusion
By the above we may regard this as an action functional for an -dimensional prequantum field theory with moduli stack of fields being . As such we denote it
where the subscript is supposed to refer to “universal higher topological Yang-Mills theory”.
Observe that by the cobordism hypothesis is the free symmetric monoidal (∞,n)-category with fully dualizable objects generated from a single object .
Let then
the free symmetric monoidal (∞,n)-category with fully dualizable objects generated from a single object and a single morphism from the tensor unit to the generating object. By the boundary field theory/defect version of the cobordism hypothesis, this is equivalently the (∞,n)-category of cobordisms with possibly a boundary component of codimension .
Hence a boundary field theory is
A boundary field theory as above is equivalently a diagram in of the form
The universal boundary condition for the universal higher topological Yang-Mills theory of example is the higher moduli stack of circle n-bundle with connection, hence a general boundary condition for this higher topological Yang-Mills theory is a ∞-Chern-Simons theory].
The ∞-Wess-Zumino-Witten theory that we are after are boundaries of these boundary field theories, hence “corner field theories” (Sati 11, lpqft) of the higher universal topological Yang-Mills theory. This we turn to now.
The earliest and the only rigorously understood example of the holographic principle is the AdS3-CFT2 and CS-WZW correspondence between the WZW model on a Lie group and 3d -Chern-Simons theory.
In (Witten 98) it is argued that all examples of the AdS-CFT duality are governed by the higher Chern-Simons theory terms in the supergravity Lagrangian on one side of the correspondence, hence that the corresponding conformal field theories] are higher dimensional analogs of the traditional [[WZW model?: that they are “∞-Wess-Zumino-Witten theory”-type models.
In particular for AdS7-CFT6 this means that the 6d (2,0)-superconformal QFT on the M5-brane worldvolume should be a 6d-dimensional WZW model holographically related to the 7d Chern-Simons theory which appears when 11-dimensional supergravity is KK-reduced on a 4-sphere:
In (Witten 96) this is argued, by geometric quantization after transgression to codimension 1, for the bosonic and abelian contribution in 7d Chern-Simons theory. (The subtle theta characteristic involved was later formalized in Hopkins-Singer 02.)
In order to formalize this in generality, one needs a general formalization of holography for local prequantum field theory as these. How are ∞-Wess-Zumino-Witten theory-models higher holographic boundaries of ∞-Chern-Simons theory? This we are dealing with at Super Gerbes.
So far we have considered configuration spaces of fields, refined to smooth moduli ∞-stacks. The next step is to consider aspects of the quantization of these fields, at least as an effective quantum field theory (the full string theory being the corresponding UV-completion).
By the holographic principle and specifically by AdS-CFT duality, various of the twisted field configurations considered above participate either in higher dimensional Chern-Simons theory or in the corresponding self-dual higher gauge theory.
For instance the supergravity C-field, after compactification to dimension 7 in the context of AdS7-CFT6, has a topological action functional given by the secondary intersection pairing 7d Chern-Simons theory (or in fact, if quantum corrections are taken into account, a generalization of that to -2-form fields FSSb).
The geometric quantization of these higher CS theories yields canonical states in codimension 1, which by AdS-CFT are interpreted as parts of the partition function of self-dual higher gauge fields.
This is described at motivic quantization (Nuiten 13).
Before actually quantizing a local prequantum field theory as above, we choose linear coefficients, given by
a choice of ground E-∞ ring
(playing the role of the complex numbers in plain quantum mechanics);
a choice of ∞-group homomorphism
from the ∞-group of phases to the ∞-group of units of , hence an ∞-representation of the circle n-group on
(playing the role of the canonical in plain quantum mechanics).
Then for modulating a circle n-bundle on , the composite
modulates the associated ∞-bundle, which is an -(∞,1)-module bundle.
Specifically, given the higher prequantum bundle as above, the composite
modulates the associated higher prequantum E-line bundle.
A section of is a higher wavefunction, hence a higher quantum state.
(At this point this looks un-polarized, but in fact we will see in the next section that the notion of polarization in higher prequantum geometry is automatic, but appears in a holographic/boundary field theory way in codimension instead here in codimension .)
Accordingly, the space of sections of is the higher space of quantum states in codimension 0.
If is a discrete ∞-groupoid then the space of sections has a particularly nice description, on which we focus for a bit:
The space of co-sections is the (∞,1)-colimit
This is also known as the -twisted -Thom spectrum of (Ando-Blumberg-Gepner 10).
a map is a cycle in -twisted -generalized homology of ;
a map is a cocycle in -twisted -generalized cohomology of
Hence we write
Generally, for two -(∞,1)-module bundles over two spaces, a map
is a cocycle in -twisted bivariant -cohomology.
Now given a local action functional on a space of trajectories, hence a correspondence as above, this induces an integral kernel for linear maps between sections of higher prequantum line bundles:
This is the integral kernel induced by the action functional, and acting on spaces of sections of the higher prequantum line bundle.
The linear map induced by these higher integral kernels is to be the quantum propagator. This we come to in the next section.
Notice that forming co-sections constitutes an (∞,1)-functor
Therefore forming co-sections sends an integral kernel as above to a correspondence of -(∞,1)-modules:
The actual quantization/path integral as a pull-push transform map now consists in forming dual morphism in such as to turn one of the projections of such a correspondence arround a produce a quantum propagator
that maps the incoming quantum states/wavefunctions to the outgoing ones.
What we need now for quantization is a path integral map that adds up the values of the action functional over the space of trajectories, a functor of the form
As such this will in general only exist for ∞-Dijkgraaf-Witten theory where is a discrete ∞-groupoid and hence has a “counting measure”. This case has been considered in (Freed-Hopkins-Lurie-Teleman 09, Morton 10).
In the general case the path integral requires that we choose a suitable measure/orientation on the spaces of fields. We see below what this means, for the moment we just write
(i.e. with an -superscript) as a mnemonic for a suitable (∞,n)-category of suitably oriented/measured spaces of fields with action functional. Then we may consider lifts of the action functional to measure-valued action functionals
A path integral is then to be a monoidal functor of the form
This we discuss now below. Once we have such a path integral functor, the quantization process is its composition with the given prequantum field theory to obtain the genuine quantized quantum field theory:
We realize this now by fiber integration in generalized cohomology.
While traditionally the definition of path integral is notoriously elusive, here we make use of general abstract but basic facts of higher linear algebra in a tensor (∞,1)-category (a stable and symmetric monoidal (∞,1)-category): the simple basic idea is that
Cohomological integration
Fiber integration of -modules along a map is forming the dual morphisms of pulling back -modules.
The choice of measure against which one integrates is the choice of identification of dual objects.
More in detail, given a monoidal category and given a morphism
in , an fiber integration/push-forward/index map is just
forming the dual morphism ;
such that equivalences exhbiting self-dual objects exist (Poincaré duality) and have been chosen (orientation).
This allows in total to have a morphism between the same objects, but in the opposite direction
That this is also the mechanism of fiber integration in generalized cohomology is almost explicit in the literature (Alexander-Whitehead-Atiyah duality), if maybe not fully clearly so. The statement is discussed explicitly in (Nuiten 13, section 4.1).
First, the basic example to keep in mind of is integration in ordinary cohomology. Write for the Eilenberg-MacLane spectrum of the complex numbers. Then for a manifold, the mapping spectrum
is the ordinary cohomology of , its dual the ordinary homology, with coefficients in .
For a closed manifold, Poincaré duality asserts that is essentially a self-dual object, except for a shift in degree: a choice of orientation of induces an equivalence
Using this, for a map of closed manifolds of dimension , a compatible choice of orientation of both and induces from the canonical push-forward map on homology the Umkehr map/push-forward map on cohomology, by the composition
This is ordinary integration: if and are smooth manifolds, then is modeled by differential forms on , is given by a choice of volume form and is ordinary integration of differential forms.
The shift in degree here seems to somewhat break the simple pattern. In fact this is not so, if only we realize that since we are working over spaces , we should use a relative/fiberwise point of view and regard not duality in itself, but in the functor categories , which is fiberwise duality in .
Accordingly, given an -(∞,1)-module bundle
we form not just the mapping space as above, but form the space of sections of this bundle, which we write:
Here for a discrete ∞-groupoid
Consider now a morphism
along which we want to integrate, whith invertible in : . .
Observe that we have the pair of adjoint triples of left/right Kan extensions and colimits/limits
Notice that preserves duals, but may not.
If is a dualizable object, say that a choice of twisted orientation of in -twisted cohomology is a choice of together with a choice of a equivalence (if such exists) of the form
hence a choice of correction of preserving the duality of .
Then the counit
induces the dual morphism
and under this becomes
which is
This we may call the the twisted fiber integration along in -cohomology, or the twisted -index map of , induced by . If then we call anorientation_ of in -twisted cohomology.
Notice that
Under fiber integration in twisted cohomology, the twist may change.
Grading in cohomology is just one incarnation of twist. Hence the fact that the twist changes under duality was already seen above in the ordinary case of Poincaré duality in ordinary cohomology.
For the special case that is a manifold, Atiyah duality identifies the dual cohomology spectrum with the Thom space cohomology spectrum. Then a choice of orientation amounts to a choice of Thom isomorphism, as traditionally considered.
We survey here some key aspects of a general theory of geometric twisted differential cohomology, following (DCCT), in which the above examples find a formal home. This is meant as a reference for readers of the Examples-section who wish to see pointers to formal details.
We base the formulation of physics/string theory on the foundations of homotopy type theory, interpreted in (∞,1)-toposes. This provides a nicely natural and expressive language for the purpose of twisted smooth cohomology in string theory.
The following table indicates the hierarchy of axioms that we invoke, the fragments of theory that can be interpreted with these and the models that we need. Essentially all of the above discussion works in the model Smooth∞Grpd. A more encompassing treatment uses supergeometry and works in the model SmoothSuper∞Grpd.
Traditionally a homotopy type is a topological space regarded up to weak homotopy equivalence, hence equivalently an ∞-groupoid. More generally, we think of parameterized homotopy types – of ∞-stacks or (∞,1)-sheaves – as geometric homotopy types. The collection of such forms an (∞,1)-topos . One regards (∞,1)-topos theory as part of homotopy theory, and, more specifically, the internal language of is a homotopy-type theory.
We discuss now some basic structures that are expressible in such bare homotopy-type theory. (The fundamentals are due to Rezk and Lurie, see Higher Topos Theory. We point out the perspective of twisted cohomology in slices and add some aspects about higher bundle theory from (NSS)).
Where useful, we indicate some of the discussion in formal homotopy type theory syntax, see HoTT methods for homotopy theorists for more along such lines.
A group object in an (∞,1)-topos is a groupal A-∞-homotopy type: an ∞-group.
By looping and delooping there is an equivalence
between group objects and pointed connected homotopy types.
If is the essentially uniqe point of the connected type , then the group type itself is simply
the type of auto-equivalences of in .
For a group object which admits an -fold delooping and any object, we write
for the space of degree- -cocycles ;
for the degree- -cohomology of .
For , -cocycles on have an equivalent geometric interpretation as -principal ∞-bundles: these are types
over equipped with a -action over such that the ∞-quotient of the action is .
Theorem There is an equivalence between the ∞-groupoid of -principal bundles over , and the cocycle -groupoid of -cohomology over .
From left to righr the equivalence is established by sending a cocycle to its homotopy fiber.
(NSS)
With the type as in remark , the principal bundle corresponding to a coycle is
And the action is
For an (∞,1)-topos and , the collection of morphisms into is the slice (∞,1)-topos .
The cohomology in is naturally interpreted as follows
a local coefficient object is a universal bundle of local coefficients;
a domain object is a twisting bundle;
a cocycle
is equivalently a section of the (∞,1)-pullback bundle ;
the cohomology
is the -twisted cohomology of (with local coefficients in the homotopy fiber of ).
In the syntax of the theory the type of twisted cocycles is
(see here).
While on the right this expresses the collection of sections of the pullback bundle, the left hand side expresses explicitly a -parameterized collection of cocycles .
Cocycles in twisted cohomology relative to a local coefficient bundle do not pull back along morphisms in (unless is trivial), but do pull back along morphisms in that are lifted to morphisms in the slice .
For
a universal local coefficient bundle in and a twist and a section, hence a cocycle in -twisted cohomology, the corresponding geometric object is the twisted ∞-bundle on the total space of
(NSS)
(…)
In general the geometry encoded by an (∞,1)-topos can be exotic. Two extra axioms ensure that it is modeled locally on -connected geometrical archetypes, such as for instance on open disks for Euclidean-topological geometry and smooth open disks for smooth geometry. Following Lawvere, we call this refinement cohesive homotopy type theory interpreted in cohesive (∞,1)-toposes.
A cohesive (∞,1)-topos is in particular equipped with a left derived adjoint to the locally constant ∞-stack-functor
We may think of as being the functor that sends a smooth ∞-groupoid to its fundamental path ∞-groupoid
Under the identification (see homotopy hypothesis theorem)
this identifies with geometric realization of geometric homotopy types / ∞-stacks.
We say that a lift of a diagram in ∞Grpd through is a geometric refinement of the diagram.
Write ; and .
For an ∞-group, write : the de Rham coefficient object for .
There is a canonical morphism : this identifies as the canonical Maurer-Cartan form on the ∞-group .
For the circle (n+1)-group we call the universal curvature class in degree .
The -twisted cohomology in identifies with ordinary differential cohomology.
(…)
∞-Chern-Weil theory introduction
(…)
(…)
(…)
An entry with discussion of and list of examples of twisted differential structures is
Related expositions include the following:
The string-theoretic aspects of the above discussion owe a lot to Hisham Sati, who has pointed out the appearance of various twisted structures in string theory, notably in the series of articles
The notion of twisted cohomology by sections of twisting coeffcient -bundles used here is similar to that in
but considered in the non-stable context of nonabelian cohomology and refined from bare homotopy types to geometric homotopy types.
The fundamental observation that background gauge fields in string theory are modeled by (twisted) differential cohomology goes back to
and literature referenced there. For this classical literature, notably on the example of twisted and differential K-theory, as well as on orientifolds, see the lists of references provided at these entries, notably
The 7d Chern-Simons theory that the supergravity C-field participates in, the relation of the flux quantization to the corresponding holographic description of the self-dual field on the M5-brane has been discussed in
A precise mathematical formulation of the proposal made there is given in
in terms of quadratic refinement of secondary intersection pairing via differential integral Wu structures. This also lays the mathematical foundation of much of differential cohomology.
The suggestion that it is the ∞-stack (∞,1)-topos over the site of smooth manifolds which is the right context for studying the twisted differential smooth cohomology in string theory was made in
The smooth -stack refinements of these structures, as discussed above, have been developed in articles including the following
Domenico FiorenzaChris Rogers, Urs Schreiber, Higher geometric prequantum theory, 2013 (arXiv:1304.0236)
Urs Schreiber, Classical field theory via Cohesive homotopy types
Joost Nuiten, Cohomological quantization of local boundary prequantum field theory, Master thesis Utrecht 2013
A general theory of such smooth homotopy-types is laid out in
The observation of the tangent (infinity,1)-topos is due to
Section A) above originates in notes for an introductory lecture:
Closely related lectures at the same program included
Later, some special cases of the general notion of twisted fields considered above are being called relative fields in
as discussed above in the section Relative fields .
Section B) originates in notes for a talk
Last revised on March 5, 2024 at 00:31:19. See the history of this page for a list of all contributions to it.